N a necessary truth, esp a categorial identity, such as whatever is triangular has three sides 真命题; 必要的事实，尤指范畴的同一性 [logic]
N（名词） a necessary truth, esp a categorial identity, such as whatever is triangular has three sides 真命题; 必要的事实，尤指范畴的同一性 [logic]